Software map

Results: 2073



#Item
81Software engineering / Type theory / Declarative programming / Computing / Generic programming / Polytypic / Polymorphism / Map / Lambda calculus / Dependent type / Fold / CurryHoward correspondence

Polytypic Programming in Coq Wendy Verbruggen ∗ Edsko de Vries Arthur Hughes

Add to Reading List

Source URL: www.edsko.net

Language: English - Date: 2016-08-02 06:27:04
82Software engineering / Computer programming / Software / Cartography / Geodesy / Microsoft BASIC / Visual Basic / Map projection

Mapping | Mapping Mapping |

Add to Reading List

Source URL: www.dotnetcharting.com

Language: English - Date: 2016-06-16 13:50:23
83Geography / Data / Geographic data and information / Open Geospatial Consortium / Geographic information systems / GIS software / GeoSUR / Geomatics / Web Map Service / Web Map Tile Service

Introduction Global trends •Increasing number of new users of geographical information. •Increasing use of free and open source software as a viable alternative for the process and

Add to Reading List

Source URL: www.cp-idea.org

Language: English - Date: 2016-05-09 13:55:53
84Computing / Software engineering / Computer programming / Parallel computing / Map / Find / Assignment

Microsoft Word - D5.1.A _mch11440 v3_.doc

Add to Reading List

Source URL: spes2020.informatik.tu-muenchen.de

Language: English - Date: 2012-03-23 03:32:41
85Software / Geographic data and information / Computing / Open Geospatial Consortium / GIS software / Geographic information systems / Keyhole Markup Language / ISO/TC 211 / Web Map Service / Web Coverage Service / Web Feature Service / VisIt

_LUCIADLIGHTSPEED VN E W P R O D U C T F E AT U R E S Luciad continuously expands its LuciadLightspeed technology to offer the most complete solution for accurate processing, visualization and analysis of ge

Add to Reading List

Source URL: luciad.com

Language: English - Date: 2016-07-28 07:21:42
86Software / Geography / Cartography / Adobe Systems / GIS file formats / Vector graphics / Web mapping / Geospatial PDF / Esri / ArcGIS / Trail map / GeoPDF

Map Updates By Matt Rowbotham, NCTA’s GIS Coordinator I

Add to Reading List

Source URL: northcountrytrail.org

Language: English - Date: 2014-09-25 11:54:10
87Gaming / Software / Blizzard games / Windows games / Multiplayer online games / Video games with isometric graphics / StarCraft / Voronoi diagram / Random map / Procedural generation / Real-time strategy / Level design

PSMAGE: Balanced Map Generation for StarCraft Alberto Uriarte Santiago Onta˜no´ n Drexel University

Add to Reading List

Source URL: eldar.mathstat.uoguelph.ca

Language: English - Date: 2016-07-12 12:05:04
88Geographic information systems / Geographic data and information / Geography / Open Geospatial Consortium / Data / ISO/TC 211 / GIS software / Information science / Web Feature Service / Infrastructure for Spatial Information in the European Community / Web Map Service / GeoServer

Microsoft Word - CartoCiudad_INSPIRE2012_Abstract.doc

Add to Reading List

Source URL: www.cartociudad.es

Language: English - Date: 2013-04-01 06:58:41
89Computing / Data management / Software / Cross-platform software / Structured storage / Java / Concurrent programming languages / Object-oriented programming languages / Redis / Application programming interface / Memcached / Persist

Caucho Technology 1 Bartil: Distributed map/list/counter similar to Redis

Add to Reading List

Source URL: baratine.io

Language: English - Date: 2015-12-21 16:18:34
90Software / Education / Diagrams / Educational technology / Knowledge representation / Note-taking / Collaborative software / Mindjet / Mind map

Books // Ebb and Flow T+D editors examine recent releases that put new spins on old ideas

Add to Reading List

Source URL: ideamappingsuccess.com

Language: English - Date: 2007-02-05 17:23:45
UPDATE